felix.git/test/golden/indefinite-terms/generating tasks.golden, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T19:00:28+00:00 Remove obsolete verification machinery 2026-08-03T19:00:28+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T19:00:28+00:00 urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4 Use tries for patterns, skip trivial hypotheses 2026-02-06T01:26:17+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-06T01:26:17+00:00 urn:sha1:8a6e8d455048b2510e25af943785241752c29b9c Fix column location 2025-12-14T16:54:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-14T16:54:05+00:00 urn:sha1:8e7d2c94d8449b8512fd6257534b4c593319b4ae Add location info to conjecture 2025-12-14T02:37:11+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-14T02:37:11+00:00 urn:sha1:3fe36e6f3266a7cfac51b56ead96c1e129a97ea9 Still some `<nowhere>` value as placeholder left over. Initial commit 2024-02-10T01:22:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-02-10T01:22:14+00:00 urn:sha1:442d732696ad431b84f6e5c72b6ee785be4fd968